Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
31	A PARTICLE DISPLACEMENT REPRESENTATION FOR CONSERVATION LAWS IN TWO-DIMENSIONAL CELLULAR AUTOMATA JARKKO KARI 1 Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2011-12-30 16:36:57 Symbol Limit Quantum field theory Theoretical physics Operator theory Linear temporal logic Calculus of variations
32	A Modal Logic for Abstract Delta Modeling Frank de Boer Michiel Helvensteijn Joost Winter Add to Reading List Source URL: www.mhelvens.net Language: English - Date: 2012-09-02 13:47:59 Modal logic Non-classical logic Philosophical logic Model theory Mathematical logic Kripke semantics Substitution Integration by substitution Normal modal logic Linear temporal logic Dirac delta function
33	Chapter 6 Infinite State Space In this chapter we begin working with stochastic systems on infinite state space. While a completely rigorous treatment of this area requires measure theory (chapter 7 and onward), we can Add to Reading List Source URL: johnstachurski.net Language: English - Date: 2016-06-19 06:01:54 Probability distributions Generalized functions Algebra Distribution Number theory Normal distribution Range Central limit theorem Logarithm Linear temporal logic
34	Wavelets and Linear Algebra Wavelets and Linear Algebra http://wala.vru.ac.ir Vali-e-Asr University of Rafsanjan Add to Reading List Source URL: wala.vru.ac.ir Language: English - Date: 2016-08-20 18:40:22 Operator theory Operator Matrix Quaternion algebra Quaternion Lie groups Linear algebra Linear temporal logic Spectral theory of ordinary differential equations
35	Concept Graphs with Cuts as Diagrammatic First Order Logic Frithjof Dau Darmstadt Technical University, Darmstadt, Germany Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-08-09 21:04:38 Diagrams Logic Charles Sanders Peirce Philosophical logic Graph theory Existential graph Diagrammatic reasoning Conceptual graph Graph First-order logic Logic of graphs Linear temporal logic
36	RAMIFICATION CORRESPONDENCE OF FINITE FLAT GROUP SCHEMES OVER EQUAL AND MIXED CHARACTERISTIC LOCAL FIELDS SHIN HATTORI Abstract. Let p > 2 be a rational prime, k be a perfect field of characteristic p and K be a finite t Add to Reading List Source URL: www2.math.kyushu-u.ac.jp Language: English - Date: 2011-01-01 23:09:08 Algebraic number theory Algebraic topology Complex analysis Algebraic geometry Galois module Galois theory Ramification Valuation Sheaf Linear temporal logic Isomorphism theorem
37	SOCIAL GROUPING FOR TARGET HANDOVER IN MULTI-VIEW VIDEO Zhen Qin Christian R. Shelton Lunshao Chai∗ Add to Reading List Source URL: rlair.cs.ucr.edu Language: English - Date: 2013-03-14 16:02:04 Mathematical logic Craig interpolation Lemmas Interpretation Match moving Distribution Linear temporal logic
38	Economic Dynamical Systems with Multiplicative Noise John Stachurski Department of Economics, The University of Melbourne, VIC 3010, Australia Abstract Add to Reading List Source URL: johnstachurski.net Language: English - Date: 2016-06-19 06:01:52 Symbol Markov chain Lyapunov function Mixing Linear temporal logic Central limit theorem
39	CONSTRAINT SATISFACTION WITH COUNTING QUANTIFIERS BARNABY MARTIN ∗† , FLORENT MADELAINE Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2015-03-30 10:49:56 Complexity classes IP FO PSPACE-complete PSPACE Interpretation NP Quantifier Well-formed formula Generalized geography Linear temporal logic
40	ProMoBox in Practice : A Case Study on the GISMO Domain-Specific Modelling Language Romuald Deshayes1 , Bart Meyers2 , Tom Mens1 , and Hans Vangheluwe2,3 1 2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-09-10 09:14:12 Scientific modeling Unified Modeling Language Model checkers Systems engineering Theoretical computer science Metamodeling Model checking Modeling language Domain-specific modeling Linear temporal logic SPIN model checker Domain-specific language